modes/modest modes --unsafe --max-run-length 0 resource-gathering.jani --props prgoldgem -E B=1300,GOLD_TO_COLLECT=100,GEM_TO_COLLECT=100 -O out.txt Minimal --width 2e-2 --relative-width --lss Interruptible 1000000 -L 1000
resource-gathering.jani:model: info: resource-gathering is an MDP model and will be simulated as an MDP.
resource-gathering.jani: info: Using default value of 0.95 for the confidence parameter.
Peak memory usage: 58 MB
Analysis results for resource-gathering.jani
Experiment B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100
Status: Finished
Simulation time: 599.5 s
+ Property Property "prgoldgem"
Estimated max. probability: 0
Runs used (best scheduler): 155100
Total runs used: 1155100
Schedulers sampled: 0
Best scheduler: 2006595713
Run type: MDP
Status: Finished
+ Error bounds
Scheduler sampling: The result is a lower bound for the true max. probability.
Statement: Aborted: no error bounds